\documentclass[12pt]{amsart}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{macros-article}
\usepackage{fullpage}
\usepackage[all]{xy}
\usepackage{color}
\title{Chapter 5}
\date{}
\begin{document}
\maketitle

\section{walks}


NEEDS FORMS AND TYPES



\begin{proof}
asd
\end{proof}


































\end{document}